منابع مشابه
Entretien avec Ken Whistler, directeur technique du consortium Unicode
Interview with Dr. Ken Whistler, technical director of the Unicode Consortium on the origin of the Unicode standard and its relation to ISO/IEC 10646. Dr. Whistler answers several questions related to the perceived implementation problems and apparent weaknesses of the Unicode standard. 1. Le cri, une des langues autochtones parlées au Québec, est pris en charge par Unicode. 330 DN – 6/2002. Un...
متن کاملEntretien avec GILLES DOWEK. De l'engagement dans la recherche à la recherche de l'engagement
Gilles Dowek est Directeur de Recherche à l’Inria. Il conduit des recherches dans le domaine de la formalisation des mathématiques (théorie des types, théorie des ensembles, etc.) et sur les systèmes informatiques de traitement des démonstrations mathématiques. Par ailleurs, sa réflexion sur l’enseignement de l’informatique l’a mené à participer à la rédaction des nouveaux programmes d’enseigne...
متن کاملGuilbaud ’ S 1952 Theorem on the Logical Problem of Aggregation
résumé – Le théorème de Guilbaud de 1952 sur le problème logique de l’agrégation Dans un article publié en 1952, peu après la publication du théorème d’impossibilité d’Arrow, le mathématicien français Georges-Théodule Guilbaud a obtenu un résultat dictatorial pour le problème logique de l’agrégation, anticipant ainsi la théorie abstraite de l’agrégation et celle de l’agrégation des jugements. N...
متن کاملExploration d’arbres avec oracle
Résumé. Nous étudions la quantité de connaissance nécessaire sur le réseau pour résoudre efficacement une tâche sur celui-ci. L’impact de l’information disponible sur l’efficacité de la résolution des problèmes, comme la communication ou l’exploration, a déjà été étudié auparavant mais les hypothèses concernaient la disponibilité d’informations particulières sur le réseau, comme sa taille, son ...
متن کاملComposants avec Propriétés Temporelles
RÉSUMÉ. Cet article propose une approche pour le développement d’applications mettant en avant le support de propriétés temporelles pour les composants logiciels. Notre processus s’adresse aux développeurs qui (1) construisent des applications à partir de composants avec des contraintes de temps et de performance et/ou (2) conçoivent des composants logiciels pour ce type d’applications. A parti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathématiques et sciences humaines
سال: 2008
ISSN: 0987-6936,1950-6821
DOI: 10.4000/msh.10783